SRC +=    src/opt/cgt/cgtAig.c \
    src/opt/cgt/cgtCore.c \
    src/opt/cgt/cgtDecide.c \
    src/opt/cgt/cgtMan.c \
    src/opt/cgt/cgtSat.c
